1. Automated theorem proving in software engineering
پدیدآورنده : Schumann, Johann M.
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Software engineering,، Automatic theorem proving
رده :
QA
76
.
758
.
S38
2001
2. Automated theorem proving in software engineering
پدیدآورنده : Johann M. Schumann ; foreword by Donald Loveland,Title
کتابخانه: دانشگاه علم و فناوری مازندران (مازندران)
موضوع : Software engineering,Automatic theorem proving
رده :
QA
.
S38
76
.
758
2001
